From 422c78badfa74b6c972dabd3c7901d8bef6099ec Mon Sep 17 00:00:00 2001
From: Alexander Mikhaylenko <alexm@gnome.org>
Date: Mon, 27 Apr 2020 17:28:20 +0500
Subject: [PATCH] mediacontrols: Use tabular figures for time and duration

In particular, this prevents gtk4-widget-factory from jumping every
second.
---
 gtk/ui/gtkmediacontrols.ui | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/gtk/ui/gtkmediacontrols.ui b/gtk/ui/gtkmediacontrols.ui
index bc12721713..412ecfa51c 100644
--- a/gtk/ui/gtkmediacontrols.ui
+++ b/gtk/ui/gtkmediacontrols.ui
@@ -30,7 +30,11 @@
         <child>
           <object class="GtkBox" id="time_box">
             <child>
-              <object class="GtkLabel" id="time_label"/>
+              <object class="GtkLabel" id="time_label">
+                <attributes>
+                  <attribute name="font-features" value="tnum=1"/>
+                </attributes>
+              </object>
             </child>
             <child>
               <object class="GtkScale" id="seek_scale">
@@ -41,7 +45,11 @@
               </object>
             </child>
             <child>
-              <object class="GtkLabel" id="duration_label"/>
+              <object class="GtkLabel" id="duration_label">
+                <attributes>
+                  <attribute name="font-features" value="tnum=1"/>
+                </attributes>
+              </object>
             </child>
           </object>
         </child>
-- 
2.30.2